An Overview of Real-time Concurrency Control with Analytic Worst-case Latency Guarantees

Meeting hard deadlines while also ensuring the integrity of shared data is a diicult problem in real-time systems design. We discuss the key diierences between database con-currency control and concurrency control for hard-real-time systems and describe an approach to adapting advanced con-currency control techniques to systems requiring analytic worst-case latency guarantees. We describe an example con-currency control technique, implementable with simple and low-overhead algorithms and data structures, which completely avoids interference between queries and updaters. This report ooers a high-level overview and introduction to the problem and approach. Details are provided in other reports SY92a, SY92b].